package common.parser;

/**
 * An Exception thrown when there is a problem with the syntax of the classfile
 * in question. This may extend to the proof syntax.
 * 
 * @author Jan
 */
public class SyntaxException extends Exception {
	

	private static final long serialVersionUID = 6599683036732138613L;
	

	public SyntaxException(String string) {
		super(string);
	}
}
